Data representation synthesis Citation
نویسندگان
چکیده
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data types are specified using relational algebra and functional dependencies. We describe a language of decompositions that permit the user to specify different concrete representations for relations, and show that operations on concrete representations soundly implement their relational specification. It is easy to incorporate data representations synthesized by our compiler into existing systems, leading to code that is simpler, correct by construction, and comparable in performance to the code it replaces.
منابع مشابه
Representation and Analysis of the Status of Indexed Articles of Researchers in Bushehr University of Medical Sciences at the Scopus Database in Social Networks: An Altmetrics Study
Background: As social networks are increasingly used, the research published through social networks should be evaluated. Hence, new measures were employed to examine the scientific effectiveness of social networks. The measurements taken from social networks, called Altmetrics, provide an opportunity to evaluate research. Therefore, this study aimed to investigate the presence of indexed artic...
متن کاملMetadiscourse Strategies and Citation Patterns as Resources of Authorial Identity in Research Articles across International/Local Journals and Applied Linguistics Subdisciplines
The present study explored the rhetorical representation of authorial identity signaled by interactive/interactional metadiscourse strategies and integral/non-integral citation patterns in international and Iranian local research article discussion sections. The study also explored variation in metadiscourse and citation resources across three subdisciplines of Language Testing, English Languag...
متن کاملConcurrent data representation synthesis Citation
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a representation of the relations as sets of cooperating data structures as well as the placement and acquisition of locks to synchronize concurrent access to those data structures. The resulting code is correct by constr...
متن کاملCrowdsourcing data citation graphs using provenance
In this paper we describe a tool designed to support crowdsourcing a-posteori provenance information about the datasets used in research publications. It generates PROV data both to capture the data citation graphs—via an extension to the PROV Data Model, and the crowdsourcing process—via prov:bundles.
متن کاملClustering Citation Distributions for Semantic Categorization and Citation Prediction
In this paper we present i) an approach for clustering authors according to their citation distributions and ii) an ontology, the Bibliometric Data Ontology, for supporting the formal representation of such clusters. This method allows the formulation of queries which take in consideration the citation behaviour of an author and predicts with a good level of accuracy future citation behaviours....
متن کامل